真比例导引律的解析解研究

描述比例导引律的模型都是非线性微分方程组,不易求解,常规求解方法是线性化.对真比例导引律进行了详细推导,并和纯比例导引律进行了比较和分析,通过坐标变换和引入相对运动的单位角动量,获得了解析的捕获域和截获时间.研究结果表明,真比例导引律的捕获域受到导航比的限制,纯比例导引律的捕获域在一定条件下不受导航比限制.     

基于程序状态变迁的ASLR机制脆弱性分析方法

地址随机化ASLR是一种针对控制流劫持漏洞的防御机制。已有的漏洞自动分析与利用技术缺少对地址随机化机制影响的分析,导致生成的测试用例在实际环境中的运行效果受到极大限制。针对地址随机化的缺陷及其绕过技术的特点,本文提出了一种地址随机化脆弱性分析方法。该方法使用有限状态机描述程序运行路径中各关键节点的状态；针对常见的内存泄漏与控制流劫持场景建立约束条件；通过求解内存泄露状态约束与控制流劫持状态约束的兼容性,分析地址随机化机制在特定场景下的脆弱性。实验结果显示,该方法可有效检测通过内存泄漏导致的地址随机化绕过及控制流劫持攻击,实现自动化的地址随机化脆弱性分析,提高针对软件安全性分析的效率。     

The strategic purpose of individual augmentee officers for junior partners in multinational military operations

ABSTRACT

This article examines the strategic purpose of Individual Augmentee Officers (IAOs) for junior partners in multinational military operations through an exploratory case study of Danish IAOs in Iraq and South Sudan between 2014 and 2017. IAOs are individual officers who are moved from their normal functions to be seconded to other units of the armed forces of their own or another country or an international institution. The study concludes that IAOs function as strategically important, yet not necessarily indispensable, supplements to military contingents in several ways: making tangible contributions to the overall mission (contributing), gaining access to information, knowledge, and experience (learning), and lobbying decision-making processes within mission headquarters (lobbying). The usefulness of IAOs depends on whether the junior partner has specific interests and a significant presence in the theatre and whether the mission is conducted as a UN mission, a NATO mission, or an ad hoc coalition.     

The modern naval fortress: an additional sea denial option for coastal states

As fixed facilities, naval fortresses seem unlikely to be important in a sea denial strategy which is usually about mobility, but new defence technologies and the changing geostrategic environment may revive the concept of the fortress. Extended ranges of anti-ship means allow onshore firepower to engage enemies over distance, even beyond the economic exclusive zones where most maritime territorial disputes occur. In the face of size limits on missile warheads that constrain their destruction of hardened targets, various active and passive defence technologies against missiles can enhance the survivability of onshore fortresses. Furthermore, onshore locations give fortresses the advantage of being unsinkable and able to accommodate greater energy and firepower capacity in contrast to vessels, as well as other mobile platforms. The onshore nature of fortresses also gives a different political meaning to being attacked, for the clear violation of sovereignty, as opposed to vessels and aircraft in a disputed space. However, the fact those fortresses are not invincible means cooperation with other existing capabilities still necessary. The case of Vietnam demonstrates how fortresses could strengthen the inferior defence capability of a coastal state vis-à-vis. a stronger sea power.